261. Models, modules and Abelian groups :
پدیدآورنده : editors, Rüdiger Göbel, Brendan Goldsmith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abelian groups.,Endomorphism rings.,Model theory.,Modules (Algebra),Abelian groups.,Abelsche Gruppe,Algebra,Endomorphism rings.,MATHEMATICS-- Algebra-- Intermediate.,Model theory.,Modules (Algebra)
رده :
QA155
.
M64
2008eb
262. Models of Peano arithmetic
پدیدآورنده : Kaye, Richard W.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Arithmetic -- Foundations,، Model theory
رده :
QA
248
.
K39
263. Models of peano arithmetic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Arithmatic foudation,Model theory
264. Motivic integration and its interactions with model theory and non-Archimedean geometry
پدیدآورنده : edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Valued fields,، Analytic spaces,، Geometry, Algebraic
رده :
QA
9
.
7
.
M68
265. Multi-Scale Analysis for Random Quantum Systems with Interaction
پدیدآورنده : \ Victor Chulaevsky, Yuri Suhov.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Multiscale modeling.,Localization theory.,Functional analysis.,Anderson model.,مدل سازی چند بعدی,آن‍ال‍ی‍ز ت‍اب‍ع‍ی,مدل آندرسون
رده :
TA
342
.
C46M8
2014
E-book
,
266. Multiple forcing
پدیدآورنده : Jech, Thomas J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Forcing )Model theory(
رده :
QA
9
.
7
.
J43
1986
267. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
268. #Non-classical logics, model theory, and computability
پدیدآورنده : #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
269. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
270. Norms on possibilities I : forcing with trees and creatures
پدیدآورنده : Roslanowski, Andrzej, 0691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
3
.
A475
no
.
671
271. O-minimality and diophantine geometry
پدیدآورنده : edited by G.O. Jones, A.J. Wilkie
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Arithmetical algebraic geometry,، Model theory,، Geometry, Analytic
رده :
QA
242
.
5
.
O44
272. Partiality, truth, and persistence
پدیدآورنده : Langholm, Tore, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages,، Model theory
رده :
P
25
.
C28
No
.
15
273. Particles in the early universe :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Group theory. ; Gauge fields (Physics) ; Series, Infinite. ; Particles (Nuclear physics) ; Mathematical models. ; Standard model (Nuclear physics) ;
274. Personality Traits of Church Planters in Europe
پدیدآورنده : Annemarie Foppen, Stefan Paas, Joke van Saane, et al.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : big five personality model,church planters,Europe,religious entrepreneurship,religious market theory
275. Perturbative and nonperturbative aspects of quantum field theory : proceedings of the 35th Internationale Universitatswochen fur Kern- und Teilchenphysik, Schladming, Austria, March 2-9, 1996
پدیدآورنده : H. Latal, W. Schweiger )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Standard model )Nuclear physics(,Congresses ، Quantum field theory,Congresses ، Nuclear reactions,Congresses ، Quantum chromodynamics,Congresses ، Perturbation )Quantum dynamics(
رده :
QC
3
.
L28
Vol
.
479
276. Philosophy of Science in Practice
پدیدآورنده : edited by Hsiang-Ke Chao, Julian Reiss
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Philosophy,Philosophy and science,Computer simulation,Game theory,Philosophy,Philosophy of Science,Simulation and Modeling,Game Theory, Economics, Social and Behav. Sciences
رده :
EBOOK
,
B
P44
67
277. Physics in D >= 4
پدیدآورنده : / editors, John Terning, Carlos E.M. Wagner, Dieter Zeppenfeld
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Particles (Nuclear physics) , Congresses,Standard model (Nuclear physics) , Congresses,Field theory (Physics) , Congresses,Electronic books. , local
رده :
E-BOOK
278. Proceedings of the International Workshop on Quantum Effects in the MSSM: Universitat Autonoma de Barcelona, Catalonia, Spain, 9-13 September 1997
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Supersymmetry,Congresses ، Quantum theory,Congresses ، Standard model )Nuclear physics(
رده :
QC
174
.
17
.
S9
.
I58
1997
279. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
280. Proceedings of the Workshop on Effective Field Theories of the Standard Model, Dobogkio, Hungary, August, 22-26, 1991
پدیدآورنده : edited by Ulf-G. MeiBner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Standard model )Nuclear physics(,Congresses ، Field theory )Physics(
رده :
QC
794
.
6
.
S75W67
1991
